Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21b/2017/01.03.18.13.50-0:pt:title:2:espaciais checking criticos sistemas:testes software via model checking sistemas espaciais criticos:>.
4 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 30/04/2024 09:38.
Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.

Artigo em Evento - sem Qualis - 2016 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00
 
  

Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.

Artigo em Evento - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00
 
  

Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.

Relatório - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00
 
  

Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.

Relatório - sem Qualis - 2016 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00